constructive reverse mathematics造句
例句與造句
- The field of constructive reverse mathematics develops this idea further by classifying various principles in terms of " how nonconstructive " they are, by showing they are equivalent to various fragments of the law of the excluded middle.
- It's difficult to find constructive reverse mathematics in a sentence. 用constructive reverse mathematics造句挺難的